Synchronous Action Systems
نویسندگان
چکیده
The action systems framework has recently been applied to the area of asynchronous VLSI design. In this paper, we present a set of concepts necessary in the formal modeling of synchronous hardware, the synchronous action systems. These explicitly model synchronous two-phase behavior. They are developed using the refinement calculus in the usual manner. The fundamental idea of synchronous action systems is to make a formal description transparent in the sense that its hardware implementation can be obtained by direct mapping. Such an implementation is composed of synchronous primitives called basic cells.
منابع مشابه
Application to Adaptive Control to Synchronous Machine Excitation
Self-tuning adaptive control technique has the advantage of being able to track the system operating conditions so that satisfactory control action can always be produced. Self-tuning algorithms can be implemented easily. Because the power systems are usually time varying non-linear systems and their parameters vary, adaptive controllers are very suitable for power systems. Characteristics of a...
متن کاملSynchronous Pipeline Design in Action Systems
The action systems formalism has recently been applied to the area of asynchronous and synchronous VLSI design. In this paper, we study formal aspects of synchronous pipelining. We show how the framework of synchronous action systems can be used to derive a pipelined structure from a non-pipelined specification in a correctness-preserving manner.
متن کاملSynchronization of Action Systems
The action systems framework has recently been applied to the area of synchronous VLSI design. Synchronous action systems explicitly model synchronous twophase behavior, making a formal description transparent, in the sense that its hardware implementation can be obtained by a direct mapping. The design methodology is based on correctly transformations of asynchronous circuit descriptions into ...
متن کاملDesign of Synchronous Action Systems
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchronous hardware, using synchronous action systems. These explicitly model synchronous two-phase behavior. They are developed using the refinement calculus in a usual manner. The fundamental idea of synchronous action sy...
متن کاملVHDL for Synchronous Action Systems
The action systems framework supporting formal circuit derivations has been successfully applied to synchronous VLSI design. The present paper presents a C++ application that translates descriptions of synchronous action systems into VHDL code, after their formal transformation from the initial high-level specifications into concrete enough format. After the automatic conversion, the resulting ...
متن کاملModeling Synchronous Action Systems
The action systems framework has recently been applied to the area of asynchronous VLSI design. In this paper, we present a set of concepts necessary in the formal modeling of synchronous hardware, the synchronous action systems. These explicitly model synchronous two-phase behavior and are developed using the refinement calculus in the usual manner. The fundamental idea of synchronous action s...
متن کامل